7 results
eXawatt Center for Extreme Light Studies
- Part of
-
- Journal:
- High Power Laser Science and Engineering / Volume 11 / 2023
- Published online by Cambridge University Press:
- 30 August 2023, e78
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Automorphisms of types in certain type theories and representation of finite groups
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 4 / April 2019
- Published online by Cambridge University Press:
- 23 May 2018, pp. 511-551
-
- Article
- Export citation
Preface to the special issue: commutativity of algebraic diagrams
-
- Journal:
- Mathematical Structures in Computer Science / Volume 22 / Issue 6 / December 2012
- Published online by Cambridge University Press:
- 30 October 2012, pp. 901-903
-
- Article
-
- You have access
- Export citation
Reductions in Intuitionistic Linear Logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 4 / December 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 483-499
-
- Article
- Export citation
Preface to the special issue: isomorphisms of types and invertibility of lambda terms
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 4 / August 2008
- Published online by Cambridge University Press:
- 01 August 2008, pp. 645-646
-
- Article
-
- You have access
- Export citation
Filip Widebäck. Identity of proofs. Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy, vol. 22. Almqvist and Wiksell International, Stockholm, 2001, 85 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 13 / Issue 1 / March 2007
- Published online by Cambridge University Press:
- 15 January 2014, pp. 100-102
- Print publication:
- March 2007
-
- Article
- Export citation
Foreword
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 5 / October 2005
- Published online by Cambridge University Press:
- 04 October 2005, pp. 821-823
-
- Article
-
- You have access
- Export citation